∇⨯(∇⨯a)=∇(∇∙a)-∇^2a